بررسی معنایی فلسفی مدل های نرمال در منطق موجهات گزاره ای

thesis
abstract

در این پایان نامه سعی شده است مدل های نرمال منطق موجهات به لحاظ صوری، معنایی و فلسفی با روش تحلیلی بررسی شوند. هدف اصلی طرح، بررسی تفصیلی سیستم های نرمال بر اساس سیستم هایِ نرمالِ معرفی شده در کتاب درآمدی جدید به منطق موجهات اثر کرسول و هیوز بوده است. برای نیل به این هدف در فصل دوم پس از مروری مختصر بر مبانی منطق موجهات چهل و دو سیستم از آن سیستم ها ارائه شده است. نمایش مدل ها بر اساس دیاگرام های معنایی در حوزه معناشناسی کریپکی امکان تمییز دادن اصل هر سیستم از سیستم دیگر را مقدور می نماید و می توان تمایز معنایی هر یک از مدل ها را بر اساس اصولش نشان داد. از اینرو در فصل سوم به مبحث معناشناسی و دلالت شناسی جهان های ممکن پرداخته و در ادامه، ویژگی ها و روابط بین سیستم ها را شرح داده و مدل معناییِ تک تک سیستم های طرح شده در فصل دو را نشان داده ایم. در پایان این فصل سعی شده است پاره ای ملاحظات فلسفی سیستم ها نیز دنبال شود. حداقل دستاورد این اثر میتواند دسترسی سهل وسریع به جزئیات چهل و دو سیستم نرمال بررسی شده باشد.بنابراین فصل چهار به جمع بندی و نتیجه گیری طرح ارائه شده اختصاص یافته است.

First 15 pages

Signup for downloading 15 first pages

Already have an account?login

similar resources

ساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.

full text

ساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.

full text

گزاره های همیشه صادق نزد خونجی در منطق مرتبۀ دوم

افضل‌الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره‌های حقیقیه و خارجیه، گزاره‌های همیشه‌صادق و گزاره‌های همیشه‌کاذب را یافته است. این گزاره‌ها پیش از این در منطق مرتبۀ اول صورت‌بندی شده و مورد بررسی قرار گرفته‌اند و نشان داده شده است که صدق همیشگی این گزاره‌ها نیازمند پیش‌فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره‌ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده‌ایم که در ای...

full text

فازی کردن منطق های گزاره ای

در این پایان نامه منطق گزاره ای دلخواه را که شامل رابط های منطقی است را با افزودن دو عملگر یکتایی توسیع داده و منطق بدست آمده را l می نامیم و نشان می دهیم در این منطق قضایای اعتباری و کارسازی برقرار است .

15 صفحه اول

منطق گزاره های داستانی

التزامات هستی شناختی منطق استاندارد، مشکلاتی در تحلیل گزاره های داستانی که حاوی هویّات خیالی و فاقد مدلول هستند، ایجاد می کند. با این حال وضعیت منطقی این گزاره ها به عنوان بخشی از زبان طبیعی، حائز اهمیت است و نمی توان از این مسئله چشم پوشی کرد که در زبان طبیعی، به هویات داستانی ارجاع داده می شود و گزاره های راجع به این هویّات، تصدیق یا تکذیب می شوند. در این مقاله سعی داریم با استفاده از چارچوب مف...

full text

بررسی توانش معنایی کودکان در سطح روابط معنایی بین گزاره ای حاوی کمیت نمای «هر»

معنا یکی از شاخصه­های مهم در بررسی فرآیند یادگیری زبان مادری است. مطالعة آنچه کودکان راجع به معنا در سطوح مختلف می­دانند، می­تواند راهی برای دستیابی به چگونگی سخنوری بشر باشد. هدف از این تحقیق، بررسی میزان فهم کودک از نقش­های معنایی کمیت­نمای جهانی «هر» در سطح روابط بین گزاره­ای است. بررسی روابط معنایی بین­گزاره­ای حاوی کمیت نمای «هر» در کودکان، نه تنها گام ارزشمندی در دستیابی به معناشناسی «هر»...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023